CandoGen – A Property-Based Model Generator
نویسندگان
چکیده
Property-based design has multiple applications in the domain of formal verification. We have developed a tool capable of automatically generating an exact implementation from a set of finite PSL properties.
منابع مشابه
Investigation of STATCOM effects on synchronous generator impedance based LOF relay with considering a realistic model for the excitation system of the generator
This paper studies the effects of static synchronous compensator (STATCOM) on synchronous generator conventional loss of field (LOF) protection. To accomplish a comprehensive study, a typical and realistic excitation system is considered for the generator by using the phase-domain generator model available in the real-time-digital-simulator. Using such a system, LOF phenomenon is realistically ...
متن کاملEffect of Different Turbine-generator Shaft Models on the Subsynchronous Resonance Phenomenon in the Double Cage Induction Generator Based Wind Farm
This paper focuses on the turbine-generator shaft models of double-cage Induction Generator (IG) based wind farm and its influence on the sub-synchronous resonance phenomenon. For this purpose, six different shaft models as 6-mass, 4-mass, 3-mass I, 3-mass II, 2-mass and 1-mass models are considered for double-cage IG wind-turbine. By using the linear modal analysis method, the effects of the d...
متن کاملIntelligent Control for the Variable-Speed Variable-Pitch Wind Energy System
In this paper, a new type of multi-variable compensation control method for the wind energy conversion systems (WECS) is presented. Based on wind energy conversion systems, combining artificial neural network (ANN) control and PID, a new type of PID NN intelligent controller for steady state torque of the wind generator is designed, by which the steady state torque output is regulated to track ...
متن کاملPMU-Based Matching Pursuit Method for Black-Box Modeling of Synchronous Generator
This paper presents the application of the matching pursuit method to model synchronous generator. This method is useful for online analysis. In the proposed method, the field voltage is considered as input signal, while the terminal voltage and active power of the generator are output signals. Usually, the difference equation with a second degree polynomial structure is used to estimate the co...
متن کاملActive and reactive power control via currents of a rotor’s d and q components with nonlinear predictive control strategy in a doubly fed induction generator based on wind power system
Wind energy today, has attracted widespread interest from among a variety of sources of renewable energy in the world. Owing to the increasing demand for production of electrical energy for electricity networks by using wind power, it is essential that wind power plants are actively incorporated in the network’s performance using an appropriate control system. In general, these wind power p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007